Yeah,but I'm assuming the "rich man" long stopped paying that on
his way to the ~40% marginal rate.
I like to keep social security out of the equation because it's a defined payment for a defined benefit and the two are at least roughly proportional (with lower income contributors deriving a better benefit and higher income contributors deriving a much smaller benefit)